Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·7h
🌳Context free grammars
Do We Really Need Lisp Machines?
irreal.org·1d
🧠Lisp Dialects
Janet Feature Demos
github.com·4h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Building an AI-Powered Image Search Engine with Daft.ai
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·5h
🔧RISC-V Assembler
Students, here are 5 key things to know when learning how to train large language models
techradar.com·17h
💻Local LLMs
Show HN: Sapient – Agentic Game Development in Unreal Engine (C++, BPs, BTs)
sapientstudio.com·16h·
Discuss: Hacker News
🔲Cellular Automata
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
There and Back Again: An AI Career Journey
towardsdatascience.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·5h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
More Layers Unlock 2^N Transformer Context Depth with Divide and Conquer
ml-mike.com·3d·
Discuss: Hacker News
✨Effect Handlers
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·20h·
Discuss: Hacker News
💻Programming languages
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·4d·
Discuss: Hacker News
🌐Computational Topology
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros
Huawei's star AI model was built on burnout and plagiarism
the-open-source-ward.ghost.io·12h·
Discuss: Hacker News
🇨🇳Chinese Computing
Claude Code Unleashed
ymichael.com·17h·
Discuss: Hacker News
⚡Proof Automation